Formal proof - Turco Inglés Diccionario